derived normal ring

导正规环